Wyniki
-
Subframe Formulas for S4-type Intuitionistic Modal Logic
Kazuyo Inoi
Bulletin of the Section of Logic , 30 /2 (2001) s. 99-105
Kazuyo Inoi
Bulletin of the Section of Logic
, 30
/2
(2001)
s. 99-105